منابع مشابه
Risks and Mitigation Strategies for Oracle AI
There is no strong reason to believe human level intelligence represents an upper limit of the capacity of artificial intelligence, should it be realized. This poses serious safety issues, since a superintelligent system would have great power to direct the future according to its possibly flawed goals or motivation systems. Oracle AIs (OAI), confined AIs that can only answer questions, are one...
متن کاملRobust Computer Algebra, Theorem Proving, and Oracle AI
In the context of superintelligent AI systems, the term “oracle” has two meanings. One refers to modular systems queried for domain-specific tasks. Another usage, referring to a class of systems which may be useful for addressing the value alignment and AI control problems, is a superintelligent AI system that only answers questions. The aim of this manuscript is to survey contemporary research...
متن کاملQuerying Spatiotemporal XML Using DataFoX
We describe DataFoX, which is a new query language for XML documents and extends Datalog with support for trees as the domain of the variables. We also introduce for DataFoX a layer algebra, which supports data heterogeneity at the language level, and several algebra-based evaluation techniques.
متن کاملFactor Oracle, Suux Oracle
We introduce a new automaton on a word p, sequence of letters taken in an alphabet , that we call factor oracle. This automaton is acyclic, recognizes at least the factors of p, has m + 1 states and a linear number of transitions. We give an on-line construction algorithm of the factor oracle. The tight links between this structure and the suux automaton allows us to introduce a second structur...
متن کاملThe Athena Startup Kit
The Athena Startup Kit (ask), is an interactive front-end to the Atlas software framework (athena). Written in python, a very effective “glue” language, it is build on top of the, in principle unrelated, code repository, build, configuration, debug, binding, and analysis tools. Ask automates many error-prone tasks that are otherwise left to the end-user, thereby pre-empting a whole category of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Industrija
سال: 2019
ISSN: 0350-0373,2334-8526
DOI: 10.5937/industrija47-20182